‘Willy Wonka Jr.’ at Whidbey Playhouse opens July 31; tickets available