Lab and Quickcheck

Lab 8 completed and Quickcheck 15 worked on