In fast compile mode, non-inverse functions can be split into two
operations, which broke one of the asserts.
Also added exhaustive tests for all inverse function pairs.
Abstracted out the test assertions to enhance readability.