add round2 test
insert assertions
change xv_splice API
[bugfix] insertion to tail did not work