Adding more verified safe code.

This is almost all of the boothi.ca codebase currently in use under the new layout.
Old layout code has been omitted as it is now considered deprecated.