In the case that K is set for prior elicitation, we now extract only the K largest peaks from any sample.
Slight tweaks to prior elicitation in the case that K, min, or max are set.