playing with scalacheck, added some property tests for Trie