Verification

To verify an Emacs Lisp function is compiled, look for

byte-code-function or native-comp-function

in describe-function (C-x f).