The Internal Revenue Service's top cryptocy lead left the tax agency as changes are set to come into force next…