Added verbose option to assert()