first implementation (not completed.)
bugfix and add tests for LongsConstTimeSelect0Sbv
Merge pull request #11 from takawitter/enh-consttimeselect0-longs

Enh consttimeselect0 longs