Understanding Coverage of Posterior Distributions from mgcv in R: A Case Study on Spatial Binomial Models and GAMs