provide paranoid type checks like move vm

[ksolana]

Move VM does additional checks
to detect violations. Can we provide runtime checks to this effect? This is probably in line with what we discussed about adding runtime checks for cross contract calls.

Some more info in the checks.

https://www.zellic.io/blog/the-billion-dollar-move-bug