Optimal sparse bounds and commutator characterizations without doubling