Fixing bugs in asr flags
Adding the noverify flag