Add xspace to adversary terms

[rozbb]

Adversary terms don't have correct spacing when used in text mode. There's no space to the right of them:

This PR puts an \xspace after the term. As a result, cryptocode now requires xspace as a dependency (which appears to have been the case some time in the past too).