Auto compiles recorded LLM-agent behavior into verified WASM binaries · HackerLangs