Provably Auditing Ordinary Least Squares in Low Dimensions