Avoid needless TLB flushes in entry path

[0xabu]

Store the current address space (in a global variable), and prove that TLB consistency is preserved throughout the user execution and entry path, so that we don't need the TLB flush for repeated executions of the same enclave.