Adding \emph to the \E and \Pr in theorem statements

And other minor tweaks