Update root annotation rules
Clarification and motivation
As per jakarta's changelog for Michelson:
Annotating the parameter toplevel constructor to designate the root entrypoint is now forbidden. Put the annotation on the parameter type instead. E.g. replace
parameter %a int;
byparameter (int %a);
(MR !4366)
We should change our Michelson parser to behave in the same manner.
Note: since this is a breaking change the MR for this should target the jakarta
branch until the protocol is activated on mainnet.
Acceptance criteria
Annotation on the parameter toplevel constructors are rejected as invalid.