Added special case RVM instructions for some common muPrimitives

Examples are ADDINT, SUBTYPE, etc. as revealed by profiling.
Adjusted iteration count to get more predictable benchmark results.

Note: the debug and profile flags are temporarily disabled while
collecting measurements for the paper.
Added two Python benchmarks for comparison