Transaction validation by full nodes
Yes, all transactions in every block are verified by full nodes. Nodes do not have to traverse the full history though, because they would have already validated the parent transactions before the child block is received usually. So they can just make sure the new transaction is valid in the ways it needs to be.