bugfix and add tests for LongsConstTimeSelect0Sbv