Gravar-mail: A Computational Analysis of Stoichiometric Constraints and Trade-Offs in Cyanobacterial Biofuel Production