Moved debug stuff from App.* to Debug.*
Replaced Verify calls with macros, to take advantage of __FILE__ and __LINE__.