Improving the SCPOG checker with arrays (manually).
compilation: An SCPOG checker built on CakeML with arrays.
scpog_arrayFullProgScript.sml: This builds the cake_scpog proof checker
scpog_arrayProgScript.sml: This refines scpog_list to use arrays
scpog_listScript.sml: This refines the SCPOG checker to a fixed-size, list-based implementation.