refactor: De-couple `Chip`s from a specific `ExecutionRecord` #38

Job	Run time
check-aptos-lc-compiles	3m 22s
Check OSX ARM compiles	0s
Build integration tests and examples	14m 50s
clippy	3m 7s
CI Test Suite	11m 32s
Test recursion circuit	2m 15s
	35m 6s

Provide feedback