Computational tools help improve protein stability but with a solubility tradeoff | Synapse