Cleanup flow to setup cargo kani

[jaisnan]

1. Add CI test for --use-local-toolchain
2. Match that local toolchain is the same as the one Kani builds against.
3. Use clap derive to cleanup the app setup.
4. Remove dependency on rustup entirely by fetching the necessary tarball.