Add cprover support to CI

[ripatel-fd]

Motivation

Parts of Firedancer use CBMC (cprover) to prove correctness of code. These tests are currently not checked in.

Suggested Fix

Add Makefile targets to run cprover tests and check in the required modifications (constraints, assertions, etc) to source files.