Add test-suite validating `Id` is spec conformant

Test suite code could be generalised to be ~ applicable as is to any implementation.