Refactor model specs to use shoulda matchers.

Also backfill some missing model specs. Clean up model file formatting.