Instruction count should only increment if Execute() succeeds.
Throw on unaligned memory access of simple types (int{8-64}, float, double).