Aperture: an AI code editor that checks its own work