Compiler checks are more lax than participant checks for keys

[dylant-da]

~~Keys must remain unchanged, currently the compiler allows keys to add new fields.~~

Keys must remain unchanged, currently the compiler and the participant allows keys to add new fields.