Bootstrap and Higher-Order Expansion Validity When Instruments May Be Weak