Is there any existing software to verify the correct functionality of the kickstart ROMs and libraries? ie that calls to them will actually produce the correct output.
No
Such verification will be huge pain in the behind, too. There are tons of functions that are very rarely used, and in some cases no viable example code exist at all.
Good luck.
