build: remove CBMC stuff.