On Bitcoin script and witness sizes