The design and verification of MuMax3 | Synapse