Assumptions: Update assumptions and draft discussion

This commit fleshes out the 'assumptions' subsection by adding real
text and discussion. It also simplifies some of the assumptions
themselves.