parser: full assert support

Asserts are embedded into environments and lambdas (so `controller` will
have it too). A `unsafe` function is optionally extracted. Asserts use
`if` conditions as preconditions