When more than 1.7 million Washington residents voted to make marijuana legal for adults last November, most probably didn’t give much thought to how that would work.