move regression testing to Alloy4.2 by default