Fix prior changing
Compare changes
Maintenance will be performed on git.ligo.org, containers.ligo.org, and docs.ligo.org on Tuesday 1 April 2025 starting at approximately 9am PDT. It is expected to take around 30 minutes and there will be several periods of downtime throughout the maintenance. Please address any comments, concerns, or questions to the helpdesk.
Some of the priors we previously weren't able to change the limits after creating them. This MR makes that possible for all priors with finite domains and adds a test of it.
It required some rewriting of a few priors.
I did branch this form a different unmerged branch, but I think I removed everything new.