Make your coding agent prove its tests can fail