[Contracts] More Contracts...

- Tried cleaning up the last few complaints from code contracts (for the current state of the code).
-- Some cases I'm not ensuring the contents within an enumerable were NOT null.
-- Took advice from the tool to add some contracts to some private methods.