add some notes on strongly-secure timestamps
- make space for more appendices
- dump some more non-core notes on timestamps
some tweaks to wording, and add some extra detail about resend logic
introductory notes on strong freshness and heartbeats