Should the people that sold the UK's nuclear codes to Russia be tried for espionage?

Espionage is what is done by agents of other countries. Treason is what it is called when they are citizens of your own.