Events for all dispatchables

[brenzi]

some dispatchables do not dispatch any Events. This should change:

register_tcb_info

• should dispatch Event TcbInfoRegistered(fmspc)

register_quoting_enclave

• should dispatch QuotingEnclaveRegistered. not yet sure about additional data needed