Get rid of Debug./1 and replace with standard assert statements