Add unit tests that exercise ToolCallable enforcing @require preconditions and @ensure postconditions, including failure paths raising ToolError.
