add a note about quickcheck's integer distribution and minor edits