CMU 17-712: Fantastic Bugs and How to Find Them