Cleanup VERIFY() macros (#17163)

• Fix VERIFY3B() when given non-boolean values.
  • Map EQUIV() into VERIFY3B(,==,) as equivalent.
  • Tune messages for better readability and to closer match source

code for easier search. Unify user-space messages with kernel.

• Tune printed types and remove %px outside of Linux kernel.

Signed-off-by: Alexander Motin <mav@FreeBSD.org>
Sponsored by: iXsystems, Inc.
Reviewed-by: @ImAwsumm
Reviewed-by: Rob Norris <robn@despairlabs.com>
Reviewed-by: Tony Hutter <hutter2@llnl.gov>