Level Updates, Fixes, and Verification