Disallow keyvalue expressions from depending post state

[mohammadfawaz]

Example:

constraint storage::x := storage::y';
let z = storage::z';
constraint constraint::w := z;

should both be disallowed. That's because the two stage validation wrapper in the VM evaluates the kv exprs first assuming they don't depend on post state, and then validates the other nodes (bool constraints).