But, I can immediately think of some evidence that would move my posterior probability. If all definable universes exist, we should expect (by Occam) to be in a simple one,

Why? That assumes the universes are weighted by complexity, which isn't true in all Tegmark level IV theories.