proto: integrate with Aeneas #722

Job	Run time
Check formatting	6s
Lint test-util	16s
Lint and test anodized-core	16s
Lint and test anodized with cfg `--config 'build.rustflags=["--cfg","anodized_print"]'`	34s
Lint and test anodized-fmt	29s
Lint and test anodized with cfg ``	32s
Lint and test anodized with cfg `--config 'build.rustflags=["--cfg","anodized_discard_specs"]'`	33s
Lint and test anodized with cfg `--config 'build.rustflags=["--cfg","anodized_panic"]'`	39s
Lint and smoke-test fuzz targets	1m 43s
Lint and test anodized-logic	30s
	5m 38s

Provide feedback