Removes the Annotations.java from the TCK and replaces it with prefixing
TCK Verification methods with "required"/"optional"/"unverified"/"stochastic" instead.
This means that it is easy to change level by introducing a new method prefixed with
the updated requirement and deprecating the old method.