Adds tests for failing Ensures. Cannot seem to get it to work atm.
Adds test for bugs found in DIT
Formatting
Updates span when adding high. Not sure if necessary, but it might set sight some future bugs.