Lobsters: Building an Unverified Compiler with Agents