Thanks! This comment was super helpful. :) I made a couple updates to the post with these findings.
I suspected something like the `ff` labeling approach would improve the solution, but I had no idea how much of a difference `all_different` made vs. `all_distinct`!