cometbls wasm membership verification (closes #514) (#1084)

Implements #514 

1. Implemented a new `ics23` library to do (non)membership verification
with tests.
2. Integrated the library into cometbls light client to support
membership verification.
3. Bumped `ics23` revision in `flake.nix` and regenerated proto for
ics23. (we were missing a field)

<!-- This is an auto-generated comment: release notes by coderabbit.ai
-->
## Summary by CodeRabbit

- **New Features**
  - Updated search functionality in the app.
- **Documentation**
  - Updated dictionary with new terms.
<!-- end of auto-generated comment: release notes by coderabbit.ai -->