Rename theta to betax

[bvkrauth]

Make the internal names consistent with external names and in the paper

• [x] Update program
• [x] Update tests