s_expressions-encodings-tests: test suite for `Natools.S_Expressions.Encodings`