CIP-0123? | Bitwise operations over BuiltinByteString (#825)

* Initial draft

* Semantics

* Laws

* Fix costing

* Examples

* Some more writeup

* Correct references to CIP-122

* More intro stuff

* Justification

* Link to discussion, fix YAML issues

* Fix formatting, add more laws

* CIP number for CIP-0123

Co-authored-by: Robert Phair <[email protected]>

* More specific title

Co-authored-by: Robert Phair <[email protected]>

* Match file structure for new CIP number

---------

Co-authored-by: Robert Phair <[email protected]>

Author: kozross