Opportunity for Validation Optimization

[andrecostea]

For a bug (snapshot, stmt_{from}, stmt_{to}), regenerate the update snapshot corresponding to stmt_{to} and just check the deadlock locally instead of calling infer all over again.