Add a check to block allocation in the bytecode interpreter

Make sure that the requested tag and block length will fit.