Fix tryfind tests.

Signed-off-by: Eric Taucher <Researcher0x00@gmail.com>
Merge branch 'removing-exceptions' of https://github.com/jack-pappas/NHol into removing-exceptions