added default values for primitive parameters on test methods
wired in quickcheck to generate random arrays
tweaked error message