Develop test cases that explore the limitations of various tank models

We have discussed a number of potential ways that tanks could be modeled. The development of a test case (or multiple test cases), where tanks can reach their lower or upper volumetric (or level) bounds, could be useful in understanding the tradeoffs among formulations.