Improve ulibc and add tests. Also add make check target to run them