Guard against branch with one child and no value

[cheme]

When decoding nodes we should not allow branch with one child and no value.
This change requires changing the codec trait to allow the compact proof decoding in trie-db/src/proof/verify.rs (internally this proof can skip the value).