Add CheckInvariant() and fix Return.ComputeFlags()