Default validity predicates The Namada ledger and client comes with a set of pre-built validity predicates. Rust-to-WASM validity predicates TODO