This needs more work, but brings them mostly up to the same standard form as the OCaml tests and the test documentation.