* [examples] Update some READMEs.
These contained some copied-and-pasted text that had not been updated.
Also added a note about the need to switch private key for the second command
in `simple_token`.
* [examples] Update input file for lottery.
* [examples] Remove `leo build` from `vote` script.
* Remove gates from tests
* Remove Finalize test namespace
* Remove gates from examples
* Remove gates from compiler
* Regen expectations
* Add test that gates is allowed as a standard field of a record
* Update Rust version in CI
* Add check for MAX_MAPPINGS