CASList is *almost* fully verified; issue w/ stability proof