Added: property tests.
Added: Hash package tests.