Optimizing Abstract Abstract Machines