Add a few tests for pair module

Comment out the try/with block in meson.
It should be converted using Choice<_, Choice<_, _>>.
Merge branch 'master' of https://github.com/jack-pappas/NHol