Harden the push_varsize instruction

1. Assert heap validity
2. Refactor the instruction for clarity
Merge pull request #2548 from junmendoza/VMStability

Harden the push_varsize instruction