Add documentation regarding Required constraints

I've also moved the *run tests* section to the end.