Small Term Reachability and Related Problems for Terminating Term Rewriting Systems (Logical Methods in Computer Science, 2025)