Lint ES AO invocations for correct usage of !/?

[syg]

Once tc39/ecma262#2675 lands, other specs will have easy access to type signatures of ECMAScript abstract operations. It would be useful to build in a linting phase in bikeshed that does extra checking of the invocations of AOs that return completions. Such invocations must be annotated in one of three ways:

1. Prefixed with !, meaning asserting that only normal completions are returned and unwrapping the returned value within the Completion Record.
2. Prefixed with ?, meaning doing early returns on abrupt completions and unwrapping the returned value within the Completion Record on normal completions.
3. Wrapped with Completion(...), meaning manual processing is done in a later step.

/cc other TC39 editors @bakkot and @michaelficarra

[syg]

The converse is also helpful to lint: AOs that do not return completions must not be annotated with any of the three options above.