Harden the push_varsize instruction

1. Assert heap validity
2. Refactor the instruction for clarity

This is the follow up commit to harder array handling at the push_varsize instruction

@lukechurch 

This can be short circuited, but I think clarity is more impt