Implement spec for User model's attributes

The specs verify that the User's attributes are all present.