change default of ignoreLeaks to true. Closes #791
replace --ignore-leaks with --check-leaks