Nicer tests, PEP8 and verbosity support in norm_tv's prox