Working verification! Hooray!

Working with splitting. Added splitting param notes and changed some of
the verification annotations to allow them to go through. It was mostly
correct before but some things needed to be moved around and changed
after all!