Move abort location printout to thud_abort_frame

Move output of abort location to thud_abort_frame.
Fix thud_abort_frame frame number handling.
Clarify frame number argument descriptions to thud_backtrace and
thud_abort_frame.
Add variable/function checking functions
Do specific variable type checks in thud_arr_*