Pošalji zapis e-poštom: Modular verification of chemical reaction network encodings via serializability analysis