On the Worst-Case Complexity of Gibbs Decoding for Reed--Muller Codes | Synapse