Updated formatting after Tamas fixed a few slimv formatting issues
Improved safety of with-shadow function
Added better def for with-shadow
Option to break immediately after a single failure