Minor change for QC test results reporting

Report the name and arity of a command for QC test results.
Add callbacks for running statem test with PropEr