Add operator `REFUTE`.

[python-processing-unit]

Add operator REFUTE(~BOOL: cond). MUST raise a runtime error if value is truthey according to the language's truthiness rules. On success, it MUST return TRUE.

Update the implementation, specification, and test suite.