Support more pulse in pulse2rust

[gebner]

Various updates to pulse2rust. Newly supported functions:

• bit operations (shifts, or, and)
• x._1
• FStar.Int.Cast.*
• pts_to_range_index

Also fixes #219. Thanks to @aseemr for pointing me in the right direction!