Add proof of uniform ergodicity to thesis; tweak slice-sampling algorithm