feat: spec simplification and corrections

[adamegyed]

Fixes:

• Adjust comment on IExecutionHook.preExecutionHook to only send executeUserOp data for validation-associated hooks.
• Uses the term "full calldata" instead of msg.data, and clarifies that this is available as msg.data within solidity.
• Requires the time range intersection of pre user op validation hooks
• Loosens the requirement of where to encode per-validation-hook data.

Simplification:

• Moves the requirements for installation and uninstallation into their respective sections, letting us collapse the heading's section.
• Removes non-spec-related callouts:

- The entity ID of a validation function installed on an account MUST be unique.
- Validation installation MAY be deferred until a later time, such as upon first use.

[huaweigu]

Do we need to include the following points under the validation installation section?

• An account can have multiple validation modules/functions installed.
• An account can have the same validation module installed multiple times.

[0xrubes]

I'm not quite following why those aspects were removed. I think this one is also worth keeping:

• The entity ID of a validation function installed on an account MUST be unique.

[adamegyed]

An account can have multiple validation modules/functions installed.
An account can have the same validation module installed multiple times.

These are implicitly true from the spec's interfaces - I thought we didn't need to call them out.

The entity ID of a validation function installed on an account MUST be unique.

I'm not sure how this got into the spec, since this isn't the case for the RI right now. We should remove this.

[huaweigu]

Do we also need to keep this?

• An account can install any number of execution functions

[adamegyed]

I thought this was implicitly true from the interfaces and the installation flow - as long as there isn't a selector collision, you can keep installing new execution functions.

[jaypaik]

Updated this as a part of ethereum#754

[jaypaik]

Discussed in working group.

[adamegyed]

Thank you all for the review. Closing this PR as it has been merged here: ethereum#771