Arising as the traces of $H(div; \Omega)$, I am wondering if the space $H^{1/2}(\partial \Omega)$ has any regularity properties? (Containment in BV would be wonderful, although I doubt it holds.) It seems difficult to find anything in the literature.
Of course not. For instance, it contains $L^2(\partial\Omega)$. By definition, $H^{1/2}(\partial\Omega)$ is the dual of $H^{1/2}(\partial\Omega)$. If $\Omega$ is $n$dimensional $n\ge3$, then $\partial\Omega$ is $(n1)$dimensional and $H^{1/2}(\partial\Omega)\subset L^p(\partial\Omega)$ by Sobolev injection, for every $p\le\frac{2(n1)}{n3}$ ($<+\infty$ if $n=3$) and therefore $H^{1/2}(\partial\Omega)$ contains $L^{p'}$. But you cannot say much more. If $s>\frac n2$, then $H^s(\Omega)\subset C^0(\overline\Omega)$ and therefore $H^{\frac12s}(\partial\Omega)$ is contained in the set of bounded measures. But this does not apply to $H^{\frac12}$, even if $n=2$ (thanks to A. Rekalo). Actually, a use of the Uniform Boundedness Principle tells us that there exists an element of $H^{\frac12}(\partial\Omega)$ that is not a bounded measure. 


Ok, a further question: What if we have $div \phi \equiv 1$ on $\Omega$? (Or up to a set of measure $\epsilon$.) Can we then get extra regularity for the normal trace? 

