Bytecode unsafe

[PalumboN]

Missing work from dojos on 02/05 and 09/05

We were making experiments to unsafe bytecode in loops (compiling to:do:s).

We parametrized pre-&post-conditions to reuse the logic in safe and unsafe versions.

This didn't improve the performance too much. Without block inlining, it does not pay off.