Functional integral construction of the massive Thirring model: Verification of axioms and massless limit