Validation doesn't cover all cases

[nerodesu017]

In src/validation/read_constant_expression.rs, the read_constant_instructions doesn't return the created stack so we can't figure out the top value on the stack, making us guess the value at execution (we can't be sure if, for example, it puts a Value::I32 on the stack when at execution time we need it)