Toward Rigorous Verification of Stability of Ideal Gas Layers