Merge "Revert "Impose a size bound for dynamically allocated tables in stbl."" into klp-dev