* trie: support non-existent right proof

* trie: improve test

* trie: minor linter fix
Co-authored-by: Péter Szilágyi <peterke@gmail.com>