[Clarity-4] Cost benchmarking

[obycode]

The new functions added in Clarity 4 require benchmarking to set the proper values in costs-4.clar and costs_4.rs.

[obycode]

#6516 (comment)

Be sure to verify that the costs are charged appropriately.