leastfixedpoint

Archived tweet #10423 from the @leastfixedpoint Twitter Archive
Ugh, python repeats C's mistake of having `assert` be a no-op when "optimizing"