Biden Proposes Crypto Mining Tax and Wash Sale Rule Amendments in 2025 Budget