Kerrick's Wager: On the Future of Manual Programming