Fix loader handling if block without op else

[wenyongh]

If there is no else branch for the if block, make a virtual else opcode for easier checking and to copy the correct results to the block return address in fast-interp mode.

Reported in issue #3386, #3387, #3388.