Change quickcheck properties to hunit tests

test cases fit better here
Complete delta adding functions