Just use bare-bones C-arrays in WaasKirfFormula.

No obvious advantage from using bounded_array, let's just
avoid any dependency.
Raise runtime exception instead of cassert abort.

Invalid or missing files should just raise exception.
cassert should be used for code logic.