Test corrections

Change to eqc:testing_time() for prop_put_delete_test_()
Fix cacheleak test for SmartOS
Debugging of cleanup:assumption_test()
Make separate tests without and with ?ALWAYS
More test/cleanup.erl cleanup
Temp hack for buildbot testing: LEVELDB_VSN="mv-google-filelock"