Tjr_fs_shared.Test
Support for basic testing, controlled by optcomp
val assert_ : (unit -> unit) -> unit
val check : (unit -> unit) -> unit