Testing/ErrorMonad: Refactor testing files with better comments in lib_error_monad

Issue #900 (closed) about improving comments for testing files. A new convention exists to document test files (see a draft in #900 (closed), which has been discussed in testing meeting Sept 24, 2020).

Suggested reviewer: @raphael-proust