fixed 'INT_MIN' bug in '__gather64_i64'; added '-v' option to alloy.py's call of run_tests.py