Add a CI and some proof fixes#1

dc-mak wants to merge 3 commits intobitvector-rebase-AP-change-newrems-project/cn-pKVM-buddy-allocator-case-study:bitvector-rebase-AP-change-newfrom

proof-cirems-project/cn-pKVM-buddy-allocator-case-study:proof-ciCopy head branch name to clipboard