This patch is a proposed fix/work around for bug #884020.

It disables opcode prediction when dynamic execution
profiling is in effect, so the profiling counters at
the top of the main interpreter loop in eval_frame()
are updated for each opcode.

It does give rise to warnings about unused labels (with
gcc anyway) which could be resolved by #define'ing all
the prediction machinery away.