Improving the XLRUP checker with arrays (manually)
compilation: An XLRUP checker built on CakeML with arrays
xlrup_arrayFullProgScript.sml: This builds the cake_xlrup proof checker
xlrup_arrayProgScript.sml: This refines xlrup_list to use arrays
xlrup_listScript.sml: This refines the checker to a fixed-size, list-based implementation