Add check phase to bytecode module

[DavidPH]

Rather than checking constraints and such over and over in every phase, these checks should be done in its own phase. This will make it easier to ensure the fullness of those checks and of course simplify the rest of the code. It will also be an opportunity to add a number of consistency checks that are currently missing after the arg size rewrite.