Logical Operators and Fold-Transversal Gates of Bivariate Bicycle Codes | Synapse