* TrieBasedBackend * trie tests * redunant return_value removed * use Trie::get_with to record trie proofs