Update AssumeNG version in blitz
Merge pull request #736 from bpindelski/assumeng-blitz

Update AssumeNG version