Otter: Generating Tests from Issues to Validate SWE Patches