Implement small string optimization in string_core. Also separate string_splice from string_core.