Added tests for insertion sort to test QuickCheck module.