Switch to requirements-based spec for inclusion phase

[edfelten]

Specify the inclusion phase via a set of requirements, and change the previous protocol spec into a reference implementation strategy rather than a requirement.

This should give implementers more latitude to choose their core consensus strategy.