Home Entertain Us Virginia Opera’s ‘Magic Marksman’ deserves a bigger audience