remove rebar_test.config (Not needed)
convert everything to run via quickcheck, and more properties
clean up the makefile