Automata Network Partners with Babylon to Boost TEE Research and Security