Add AST check for explicit ReadOnlyHint annotations

Add AST check for explicit ReadOnlyHint annotations #8369