added more details to alloy progress report, removed unecessary stack display from alloy syntax error reports