A Computational Framework and Implementation of Implicit Priors in Bayesian Inverse Problems | Synapse