updated QCheck
tests for PersistentHashtbl