Builder pattern invariant tests