Update uint256_tests.cpp