Make SizeNode to use XlaShape and add test (#3954)
* Make SizeNode to use XlaShape and add test
* test
* Fix SizeAdd and add test
* Fix SizeDiv and add test
* remove isSymbolic logic
* Update test to use xla:shape instead of lazy shape
* Update cpp test to check exact sizenodes
* SizeNode should have s64 as type
