Quantum Simulation with Gauge Fixing: from Ising Lattice Gauge Theory to Dynamical Flux Model | Synapse