RFC 7386, part 4: rename {de,}serialization test file

And add a test to check that the generated class is what we expect.
RFC 7386, part 5: ensure correct {de,}serialization of huge numbers

We don't want them truncated in any way, shape or form.