Factor graph-based biomolecular circuit analysis for designing forward error correcting biosensors