Add a section on assumptions and approximations

[martinthomson]

We take a lot of liberties throughout, which are generally well signposted, but I thought it might be helpful to include something more general in the lead-in. This also addresses the non-repeating nonce comment.