Ensure non-null record field are mandatory in arguments

[Totktonada]

There is the test for compound offset which pass validation and fails in runtime. It must not pass validation.

[Totktonada]

Fixed with PR #180. This check still performed in the execution time, while coercing values. It would be good to have compile time validation for immediate arguments, but this is subject to a separate issue.