linear model verification edits

(1) expanded discussion of noninformative prior results
(2) modified mu/beta prior specification for examples