Anti-bitcoin SEC commissioner Caroline Crenshaw officially leaves the SEC