chore: set compiler version to 2.0.0#35

LeanSerra merged 6 commits intomainLeanSerra/lm-compiler-rust:mainfrom

chore/2.0.0LeanSerra/lm-compiler-rust:chore/2.0.0Copy head branch name to clipboard