wr_dat_file: sanity-check samps_per_frame and e_d_signal.

If expanded is true, then e_d_signal and samps_per_frame must have the
same length (one entry in e_d_signal corresponds to one entry in
samps_per_frame).  The length of each channel must be a multiple of
the number of samples per frame, and every channel must have the same
number of frames.  Add sanity checks to verify that the values
provided by the caller make sense.

Author: Benjamin Moody

wfdb/io/_signal.py

@@ -2288,7 +2288,14 @@ def wr_dat_file(
     # Combine list of arrays into single array
     if expanded:
         n_sig = len(e_d_signal)
-        sig_len = int(len(e_d_signal[0]) / samps_per_frame[0])
+        if len(samps_per_frame) != n_sig:
+            raise ValueError("mismatch between samps_per_frame and e_d_signal")
+
+        sig_len = len(e_d_signal[0]) // samps_per_frame[0]
+        for sig, spf in zip(e_d_signal, samps_per_frame):
+            if len(sig) != sig_len * spf:
+                raise ValueError("mismatch in lengths of expanded signals")
+
         # Effectively create MxN signal, with extra frame samples acting
         # like extra channels
         d_signal = np.zeros((sig_len, sum(samps_per_frame)), dtype="int64")