MILP framework for picking better DFA fault bits and pushing attacks deeper, because brute force was getting too lazy.