Cherry tree named ‘Stumpy’ becomes a Washington sensation