Updated Record/StateTestCase that includes a test with a sequence of calls that check for the current values of the attributes and state of the Record class