Verifiably Following Complex Robot Instructions with Foundation Models