Add more functions to libc
Fix a few issues
Add csmith randomized compiler tests
Allow compiler tests to use Verilog model