Delete uint256_tests.cpp