Issue #151 Cherry picked 0939342fbfd6de4a51eab27c13eb8bcbab3e8c79.
The VM will now check the format of the infusion and panic if it doesn't match the format the VM expects. This is done since the infusion format has changed for the rtc branch and Bolun's 32 bit addresses. Switching between those branches without recompiling the infuser would lead to undefined behaviour, so it's best to fail early.