Add `BinaryTreeMap'
Use reflection
Merge branch 'fb/binary_tree_map' into fb/one_module
Add `TESTABLE_RAISE' and its companions
Use `TESTABLE_ASSERT'
Merge branch 'fb/testable_raise' into fb/one_module